match () with
| [| 1; 2 |] -> ()
